منابع مشابه
Balloon Types: Controlling Sharing of State in Data Types
Current data abstraction mechanisms are not adequate to control sharing of state in the general case involving objects in linked structures. The pervading possibility of sharing is a source of errors and an obstacle to language implementation techniques. We present a general extension to programming languages which makes the ability to share state a rst class property of a data type, resolving ...
متن کاملDelta State Replicated Data Types
CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through disseminating the entire state, that may be large, and merging it to other replicas; whereas operation-based CRDTs disseminate operations (i.e., small states) assuming an exactly-once reliable dissemination layer. We introduc...
متن کاملPartiality, State and Dependent Types
Partial type theories allow reasoning about recursively-defined computations using fixed-point induction. However, fixed-point induction is only sound for admissible types and not all types are admissible in sufficiently expressive dependent type theories. Previous solutions have either introduced explicit admissibility conditions on the use of fixed points, or limited the underlying type theor...
متن کاملDeterminants of postinfarction ventricular tachycardia.
BACKGROUND Structural factors contributing to the development of postinfarction ventricular tachycardia (VT) are unclear. The purpose of this study was to analyze infarct architecture and electrogram characteristics in patients with and without inducible VT and to identify correlates of postinfarction VT. METHODS AND RESULTS Twenty-four postinfarction patients (median age, 64 [53, 70] years) ...
متن کاملThree types of state transition underlying perception
The key tenet for understanding brain and mind is that all knowledge of the world derives from perceptions that are created by anticipatory neural activity emerging in the brain. That activity moves the body through the environment while simultaneously predicting the changes in sensory input that accompany actions. Brains learn about the world by assimilating to the sensory consequences of thei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Russian Journal of Cardiology
سال: 2016
ISSN: 1560-4071
DOI: 10.15829/1560-4071-2016-3-101-107